Speci city and Scope
نویسنده
چکیده
منابع مشابه
Veri cation of Automatically Generated Pattern-Based LTL Speci cations
The use of property classi cations and patterns, i.e., high-level abstractions that describe common behavior, have been shown to assist practitioners in generating formal speci cations that can be used in formal veri cation techniques. The Speci cation Pattern System (SPS) provides descriptions of a collection of patterns. The extent of program execution over which a pattern must hold is descri...
متن کاملSpeciicity, Automatic Designation, And`i'
In its most common linguistic use speci city refers to a kind of de niteness This is expressed by the grammatical marking on an NP showing that the speaker knows the identity of the referent Thus a police chief has presum ably a particular Colombian in mind when he utters My agents cannot wait to interrogate the Colombian While the above explanation seems straightforward speci city has come to ...
متن کاملAutomatic Generation of Complex LTL Speci cations Through Patterns and Composite Propositions
Property classi cations and patterns, i.e., high-level abstractions that describe common behavior, have been used to assist practitioners in generating formal speci cations that can be used in formal veri cation techniques. The Speci cation Pattern System (SPS) provides descriptions of a collection of patterns. Each pattern is associated with a scope that de nes the extent of program execution ...
متن کاملGenerating Linear Temporal Logic Formulas for Pattern-Based Speci cations
Software property classi cations and patterns, i.e., highlevel abstractions that describe program behavior, have been used to assist practitioners in specifying properties. The Speci cation Pattern System (SPS) provides descriptions of a collection of patterns. Each pattern is associated with a scope that de nes the extent of program execution over which a property pattern is considered. Based ...
متن کاملSex-linked inheritance of host-plant specialization in a polyphagous butter ̄y
I investigated the genetic background of intraspeci¢c variation in oviposition speci¢city in the generalist butter£y Polygonia c-album. Using reciprocal crosses between two populations that di¡er in their degree of specialization, I show that speci¢city is strongly sex-linked. This indicates that genes determining this di¡erence are located primarily on the paternally inherited X-chromosome. Th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994